$\forall$${\it nms}$:(MaName List), $R$:Realizer.
\\[0ex]l\_disjoint(MaName;R{-}names($R$);${\it nms}$) $\Rightarrow$ ($R$$\mid$${\it nms}$ = Rnone() $\in$ Realizer)